Nuprl Definition : le 11,40
A  B == (B < A) 
latex

DefinitionsA  B, A
FDL editor aliasesle

origin